это точно доказано

См. также в других словарях:

• ИНТУИЦИОНИСТСКАЯ ЛОГИКА — одна из наиболее важных ветвей неклассической логики, имеющая своей филос. предпосылкой программу интуиционизма. Выдвигая на первый план математическую интуицию, интуиционисты не придавали большого значения систематизации логических правил.… …   Философская энциклопедия

• Чёрная дыра — У этого термина существуют и другие значения, см. Чёрная дыра (значения). Изображение, полученное с помощью телескопа «Хаббл»: Активная галактика M87. В ядре галактики, предположительно, находится чёрная дыра. На сни …   Википедия

• Коносамент — (Consignment) Определение коносамента, разновидности и функции коносамента Информация об определении коносамента, разновидности и функции коносамента Содержание Содержание Обозначение Разновидности и чартер как правовая основа морских перевозок… …   Энциклопедия инвестора

• Ответственность предпринимателей — обнимает собою различного рода обязанности по отношению как к рабочим, так и к посторонним лицам (о последней см. Предприятие). По отношению к рабочим, О. предпринимателей является понятием экономическим, вытекающим из той роли, которую играют… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

• Острый миелоидный лейкоз — Мазок костного мозга при остром миелоидном лейкозе . Стрелками обозначены Тельца Ауэра …   Википедия

• Перекись водорода (хим.) — (Wasserstoffsuperoxyd; Peroxyde d hydrogène ou eau oxygéné e; Hidrogen peroxyde). Это вещество, H 2O2, открыто в 1818 г. Тенаром, который получил его при действии разведенной соляной кислоты на П. бария: ВаО 2 + 2HCl = BaCl2 + H2O2;… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

• Перекись водорода — I (техн.) находит в последнее время применение в довольно широких размерах для беления шелковых и шерстяных изделий, а также перьев. По сравнению с сернистой кислотой, которая издавна употребляется для этой цели, перекись водорода отбеливает… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

• Задача о разорении игрока — Задача о разорении игрока  задача из области теории вероятностей. Подробно рассматривалась российским математиком А. Н. Ширяевым в монографии «Вероятность»[1] …   Википедия

• МНОГОЛИСТНАЯ ФУНКЦИЯ — понятие, естественным образом обобщающее понятие однолистной функции. Функция , регулярная или мероморфная в области Dкомплексной плоскости z, наз. р листной в D(р=1, 2, ...), если она принимает в этой области каждое свое значение не более рраз,… …   Математическая энциклопедия

• интуиционистская логика —         ИНТУИЦИОНИСТСКАЯ ЛОГИКА первоначально появилась как логика интуиционистской математики, но затем область ее применения чрезвычайно расширилась. Неформально И.л. начал развивать Л. Брауэр в 1907; первую интерпретацию, независимую от… …   Энциклопедия эпистемологии и философии науки

• Семейство ужеобразные —         Линней соединял всех известных ему змей в три семейства, именно: исполинских, ужеподобных и гремучниковых. Под уже образными мы, следуя Буланже, подразумеваем приблизительно всех тех змей, которых соединял под этим названием Линней, а… …   Жизнь животных